摘要 :
Background: Non-contact scanners may have potential for measurement of residual limb volume. Different non-contact scanners have been introduced during the last decades. Reliability and usability (practicality and user friendlines...
展开
Background: Non-contact scanners may have potential for measurement of residual limb volume. Different non-contact scanners have been introduced during the last decades. Reliability and usability (practicality and user friendliness) should be assessed before introducing these systems in clinical practice.
收起
摘要 :
Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argu...
展开
Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA-based design relies on the application of four interrelated principles: 1) separation of concerns implying a decomposition of a design flow into steps, each step dealing with specific aspects, namely user requirements, functional design, and implementation; 2) component-based design enabling the reasoned construction of complex systems as the composition of components; 3) semantic coherency meaning that descriptions used in successive design steps are semantically related through adequate semantic mappings; this implies, in particular, that the formalisms used at each design step are rooted in well-defined semantics; and 4) correctness by construction meaning that it is possible to guarantee essential properties of the designed system incrementally and compositionally along the design process. The paper discusses to what extent the EDA paradigm can be adapted to general mixed hardware/software (HW/SW) systems design through the application of these principles. It presents an overview of the problems raised by the rigorous system design of mixed HW/SW systems. Then, it presents a unified abstract framework for addressing these problems by identifying main research avenues.
收起
摘要 :
In this paper, a new approach is presented for the user guided automatised design of measurement systems. Two concepts are presented: an adapted concept for describing a measurement system and a new concept for the design of a mea...
展开
In this paper, a new approach is presented for the user guided automatised design of measurement systems. Two concepts are presented: an adapted concept for describing a measurement system and a new concept for the design of a measurement system. For the design concept, a heterarchical implementation is proposed. The applicability of our approach is illustrated with an example from practice.
收起
摘要 :
System modeling and simulation techniques are crucial in model-based development of complex engineered systems. However, use of these techniques in system architecting, where the desired architecture is widely explored to meet giv...
展开
System modeling and simulation techniques are crucial in model-based development of complex engineered systems. However, use of these techniques in system architecting, where the desired architecture is widely explored to meet given function requirements, has not been sufficiently investigated. In this paper, such tools are used as computational supports for system architecting. The methodology enables systematic search and visualization of local design parameters and system architecture across various engineering domains. The design parameters are classified according to their engineering domains, topological relations, and numerical similarities. The methodology is applied to the system architecting of an electric vehicle.
收起
摘要 :
Intelligent manufacturing systems require an interface between CAD and CAM to reason about how the designed part will be recognised, transported, manufactured, and inspected. This paper presents a representation describing abstrac...
展开
Intelligent manufacturing systems require an interface between CAD and CAM to reason about how the designed part will be recognised, transported, manufactured, and inspected. This paper presents a representation describing abstractions of part design data with relationships to application specifications and behaviours critical to a particular application. Schema representations are based on object-oriented class structures and related through semantic nets. The planning system develops and adapts task, path, and trajectory plans based on sensor data, application specifications, and past experience for part recognition, material handling, and surface finishing applications.
收起
摘要 :
Purpose - Nowadays there is a trend in industry to optimize processes through computerization. In the field of machining, computer assistance is available to design and describe the product, analyze and simulate its behaviour, des...
展开
Purpose - Nowadays there is a trend in industry to optimize processes through computerization. In the field of machining, computer assistance is available to design and describe the product, analyze and simulate its behaviour, describe the manufacturing conditions and generate the corresponding orders. These are the CAD, CAM and computer aided process planning systems. However, there are no computer applications for machining processes that offer assistance to determine the characteristics of the blank. This task is usually done by workshop operators, numerical control programmers, process planners or other professionals whose knowledge and, especially, experience allow them to carry it out. This paper aims to present a computer application that provides assistance to select the characteristics of the blanks used in machining processes.
Design/methodology/approach - The methodology applied consists of studying the methods experts use to choose blanks, analyzing the variety of parts that are currently machined in the workshops, designing the application and then implementing and validating it. Findings - The system developed calculates the characteristics of the blank and optimizes the decision according to the experience, knowledge and methods of the experts. This application can carry out calculations for any of the parts that are usually manufactured in a workshop. The solutions that the programme offers can be developed using current-cutting techniques or the profiles that suppliers sell in the market. The paper includes a case study to demonstrate how the tool is used. Implementation of this computer application brings the present industry closer to production optimization and computerization of the processes (computer integrated manufacturing). Originality/value - This is the first time the knowledge and the reasoning methods of experts have been analyzed and implemented in a computer tool that gives assistance to determine the characteristics of the blank.
收起
摘要 :
This text describes a laboratory course in practical handling of computers, a computer network, and a C++ compiler. Most of the software used is running under the Linux operating system. Some aspects of file and directory structur...
展开
This text describes a laboratory course in practical handling of computers, a computer network, and a C++ compiler. Most of the software used is running under the Linux operating system. Some aspects of file and directory structures, revision control, maintenance and backup solutions for hardware, software and instruction material, are discussed. It is suggested that an introductory course of the type described and a geometric modeler make a rich environment, suitable as a basis and a framework for hands-on exercises in computer science. Applications in other courses are indicated.
收起
摘要 :
This paper describes a methodology for the development of mechatronic systems and their practical realization in a computer tool. The objective is to integrate the development areas mechanical and software-technical engineering. T...
展开
This paper describes a methodology for the development of mechatronic systems and their practical realization in a computer tool. The objective is to integrate the development areas mechanical and software-technical engineering. The fundamental basis of the methodology is to combine the analysis phase with the conception phase and the CAD. It is based on a structure, geometry and behavior model that can be used as a common basis for the further development of the areas just mentioned. The description technique that is used combines procedures and methods for and aids to methodical designing and the object-oriented development of systems.
收起
摘要 :
Computation has quickly become of paramount importance in the design of engineered systems, both to support their features as well as their design. Tool support for high-level modeling formalisms has endowed design specifications ...
展开
Computation has quickly become of paramount importance in the design of engineered systems, both to support their features as well as their design. Tool support for high-level modeling formalisms has endowed design specifications with executable semantics. Such specifications typically include not only discrete-time and discrete-event behavior, but also continuous-time behavior that is stiff from a numerical integration perspective. The resulting stiff hybrid dynamic systems necessitate variable-step solvers to simulate the continuous-time behavior as well as solver algorithms for the simulation of discrete-time and discrete-event behavior. The combined solvers rely on complex computer code which makes it difficult to directly solve design tasks with the executable specifications. To further leverage the executable specifications in design, this work aims to formalize the semantics of stiff hybrid dynamic systems at a declarative level by removing implementation detail and only retaining 'what' the computer code does and not 'how' it does it. A stream-based approach is adopted to formalize variable-step solver semantics and to establish a computational model of time that supports discrete-time and discrete-event behavior. The corresponding declarative formalization is amenable to computational methods and it is shown how model checking can automatically generate, or synthesize, a feedforward control strategy for a stiff hybrid dynamic system. Specifically, a stamper in a surface mount device is controlled to maintain a low acceleration of the stamped component for a prescribed minimum duration of time.
收起